#include "misc.h"

void del(void* p) {
	if (p != NULL)
		delete p;
}